This file was created with JabRef 2.1.
Encoding: ISO8859_1

@ARTICLE{GA_SOCs,
  author = {Giuseppe Ascia and Vincenzo Catania and Maurizio Palesi},
  title = {A GA-Based Design Space Exploration Framework for Parameterized System-On-A-Chip
	Platforms},
  journal = {IEEE Trans. Evolutionary Computation},
  year = {2004},
  volume = {8},
  pages = {329--346},
  number = {4},
  month = {August}
}

@INPROCEEDINGS{araujo,
  author = {S. G. {A}ra{\'u}jo and A. C. Mesquita and A. Pedroza},
  title = {{O}ptimized {D}atapath {D}esign by {E}volutionary {C}omputation.},
  booktitle = {Proceedings of the 3rd IEEE International Workshop on System-on-Chip
	for Real-Time Applications (IWSOC'03), 30 June - 2 July 2003, Calgary,
	Alberta, Canada},
  year = {2003},
  pages = {6-9}
}

@ARTICLE{brandolese,
  author = {C. Brandolese and W. Fornaciari and F. Salice},
  title = {{A}n {A}rea {E}stimation {M}ethodology for {FPGA} {B}ased {D}esigns
	at {S}ystem{C}-{L}evel},
  journal = {ASP-DAC '04: Proceedings of the 2004 conference on Asia South Pacific
	design automation},
  year = {2004},
  pages = {129- 132}
}

@ARTICLE{cabodi,
  author = {G. Cabodi and A. Kondratyev and L. Lavagno and S. Nocco and S. Quer
	and Y. Watanabe},
  title = {{A} {BMC}-based formulation for the scheduling problem of hardware
	systems.},
  journal = {STTT},
  year = {2005},
  volume = {7},
  pages = {102-117},
  number = {2},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.1007/s10009-004-0170-9}
}

@ARTICLE{pathbased,
  author = {R. Camposano},
  title = {Path--Based Scheduling for Synthesis},
  journal = {IEEE Transactions on Computer--Aided Design},
  year = {1991},
  month = {Jan.}
}

@ARTICLE{interconnection,
  author = {D. Chen and J. Cong},
  title = {Register binding and port assignment for multiplexer optimization},
  journal = {Proc. ASP-DAC '04 Conference},
  year = {2004},
  pages = {68-73},
  isbn = {0-7803-8175-0},
  location = {Yokohama, Japan}
}

@INPROCEEDINGS{taylor-diagrams,
  author = {M. Ciesielski and S. Askar and D. Gomez-Prado and J. Guillot and
	E. Boutillon},
  title = {Data-flow transformations using Taylor expansion diagrams},
  booktitle = {Proc. DATE '07 conference},
  year = {2007},
  pages = {455--460}
}

@INPROCEEDINGS{cordoneASPDAC,
  author = {Roberto Cordone and Fabrizio Ferrandi and Marco D. Santambrogio and
	Gianluca Palermo and Donatella Sciuto},
  title = {Using speculative computation and parallelizing techniques to improve
	scheduling of control based designs},
  booktitle = {ASP-DAC '06: Proceedings of the 2006 conference on Asia South Pacific
	design automation},
  year = {2006},
  pages = {898--904},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/1118299.1118502},
  isbn = {0-7803-9451-8},
  location = {Yokohama, Japan}
}

@BOOK{book:MicheliSynthOpt,
  title = {Synthesis and Optimization of Digital Circuits},
  publisher = {McGraw-Hill},
  year = {1994},
  author = {De Micheli, G.}
}

@ARTICLE{deb00fast,
  author = {K. Deb and S. Agrawal and A. Pratab and T. Meyarivan},
  title = {A {F}ast and {E}litist {M}ulti-{O}bjective {G}enetic {A}lgorithm:
	{NSGA-II}},
  journal = {Proceedings of the Parallel Problem Solving from Nature VI Conference},
  year = {2000},
  pages = {849-858},
  publisher = {Springer. Lecture Notes in Computer Science No. 1917},
  url = {citeseer.ist.psu.edu/article/deb00fast.html}
}

@INPROCEEDINGS{Defacto,
  author = {Pedro C. Diniz and Mary W. Hall and Joonseok Park and Byoungro So
	and Heidi E. Ziegler},
  title = {Bridging the Gap between Compilation and Synthesis in the {DEFACTO}
	System.},
  booktitle = {LCPC},
  year = {2001},
  pages = {52-70}
}

@ARTICLE{Ferrandi2007Evolutionary,
  author = {F. Ferrandi and P. L. Lanzi and G. Palermo and C. Pilato and D. Sciuto and A. Tumeo},
  title = {An Evolutionary Approach to Area-Time Optimization of {FPGA} designs},
  journal = {Embedded Computer Systems: Architectures, Modeling and Simulation,
	2007. IC-SAMOS 2007. International Conference on},
  year = {16-19 July 2007},
  pages = {145-152},
  doi = {10.1109/ICSAMOS.2007.4285745},
  owner = {daniele},
  timestamp = {2007.12.12}
}

@ARTICLE{PDG,
  author = {Jeanne Ferrante and Karl J. Ottenstein and Joe D. Warren},
  title = {The program dependence graph and its use in optimization},
  journal = {ACM Trans. on Programming Language and Systems},
  year = {1987},
  volume = {9},
  pages = {319--349},
  number = {3},
  address = {New York, NY, USA},
  doi = {http://doi.acm.org/10.1145/24039.24041},
  issn = {0164-0925},
  publisher = {ACM Press}
}

@ARTICLE{fonseca95overview,
  author = {Carlos M. Fonseca and Peter J. Fleming},
  title = {An Overview of Evolutionary Algorithms in Multiobjective Optimization},
  journal = {Evolutionary Computation},
  year = {1995},
  volume = {3},
  pages = {1-16},
  number = {1},
  url = {citeseer.ist.psu.edu/article/fonseca95overview.html}
}

@INPROCEEDINGS{openbeagle,
  author = {C. Gagn{\'e} and M. Parizeau},
  title = {{O}pen {BEAGLE}: {A} {N}ew {V}ersatile {C}++ {F}ramework for {E}volutionary
	{C}omputation.},
  year = {2002},
  pages = {161-168},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  journal = {GECCO Late Breaking Papers}
}

@BOOK{np_complete,
  title = {Computers and Intractability: A Guide to the Theory of NP-Completeness},
  publisher = {W. H. Freeman \& Co.},
  year = {1979},
  author = {Michael R. Garey and David S. Johnson},
  address = {New York, NY, USA},
  isbn = {0716710447}
}

@ARTICLE{HTGs-92,
  author = {M. Girkar and C.D. Polychronopoulos},
  title = {Automatic extraction of functional parallelism from ordinary programs},
  journal = {IEEE Trans. on Parallel and Distributed Systems},
  year = {1992},
  volume = {3},
  pages = {166-178},
  number = {2},
  month = {March}
}

@BOOK{goldberg,
  title = {{Genetic Algorithms in Search, Optimization, and Machine Learning}},
  publisher = {Addison-Wesley},
  year = {1989},
  author = {David E. Goldberg},
  address = {Reading, Mass.},
  isbn = {0-201-15767-5},
  keywords = {LCS}
}

@ARTICLE{Hierarchical,
  author = {G. Grewal and M. O'Cleirigh and M. Wineberg},
  title = {An evolutionary approach to behavioural-level synthesis},
  journal = {The 2003 Congress on Evolutionary Computation, 2003, CEC '03},
  year = {Dec. 2003},
  volume = {vol. 1},
  pages = {264-272},
  number = {8-12},
  address = {New York, NY, USA},
  doi = {http://doi.acm.org/10.1145/250243.250245},
  publisher = {ACM Press}
}

@ARTICLE{incremental,
  author = {Zhenyu Gu and Jia Wang and Robert P. Dick and and Hai Zhou},
  title = {Unified Incremental Physical-Level and High-Level Synthesis},
  journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
  year = {2007},
  volume = {26},
  pages = {1576-1588},
  number = {9}
}

@MISC{spark,
  author = {S. Gupta},
  title = {SPARK: A high-level synthesis framework for applying parallelizing
	compiler transformations},
  year = {2003},
  text = {S. Gupta et al. SPARK: A high-level synthesis framework for applying
	parallelizing compiler transformations. Intl. Conf. on VLSI Design,2003.},
  url = {citeseer.ist.psu.edu/gupta03spark.html}
}

@ARTICLE{saliba,
  author = {H.H. Harmanani and R. Saliba},
  title = {An {E}volutionary {A}pproach for {D}ata {P}ath {S}ynthesis},
  journal = {Proceedings of Canadian Conference on Electrical and Computer Engineering},
  year = {Mar. 2000},
  volume = {vol. 1},
  pages = {380-384}
}

@PHDTHESIS{haynal,
  author = {S. P. Haynal},
  title = {Automata-based symbolic scheduling},
  year = {2000},
  note = {Chairman-Forrest D. Brewer},
  isbn = {0-493-48050-1}
}

@BOOK{holland,
  title = {Adaptation in Natural and Artificial Systems: An Introductory Analysis
	with Applications to Biology, Control and Artificial Intelligence},
  publisher = {MIT Press},
  year = {1992},
  author = {John H. Holland},
  address = {Cambridge, MA, USA},
  isbn = {0262082136}
}

@ARTICLE{listbased,
  author = {T.C. Hu},
  title = {Parallel sequencing and assembly line problems},
  journal = {Operations Research},
  year = {1961},
  volume = {9},
  pages = {841--848},
  number = {6}
}

@ARTICLE{formal_approach,
  author = {C.-T. Hwang and J.-H. Leea and Y.-C. Hsu},
  title = {A formal approach to the scheduling problem in high level synthesis},
  journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
  year = {1991},
  volume = {vol. 10},
  pages = {464-475},
  number = {4},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://doi.ieeecomputersociety.org/10.1109/43.75629}
}

@ARTICLE{GA_microcode,
  author = { D. Jackson},
  title = {Evolution of processor microcode},
  journal = {IEEE Trans. Evolutionary Computation},
  year = {2005},
  volume = {9},
  pages = {44--54},
  number = {1},
  month = {February}
}

@MISC{jego-interconnect,
  author = {Christophe Jego and Emmanuel Casseau and Eric Martin},
  title = {Interconnect Cost Control during High-Level Synthesis},
  year = {Nov. 2000},
  booktitle = {Proc. Design Circuits \& Integrated Systems Conference},
  pages = {507--512}
}

@ARTICLE{kim,
  author = {Taewhan Kim and Noritake Yonezawa and Jane W.-S. Liu and C. L. Liu},
  title = {A scheduling algorithm for conditional resource sharing - a hierarchical
	reduction approach.},
  journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
  year = {1994},
  volume = {13},
  pages = {425-438},
  number = {4},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://doi.ieeecomputersociety.org/10.1109/43.275353}
}

@ARTICLE{Krishnan06,
  author = {V. Krishnan and S. Katkoori},
  title = {A genetic algorithm for the design space exploration of datapaths
	during high-level synthesis`},
  journal = {IEEE Trans. Evolutionary Computation},
  year = {2006},
  volume = {10},
  pages = {213-229},
  number = {3}
}

@INPROCEEDINGS{wavesched,
  author = {Ganesh Lakshminarayana and Kamal S. Khouri and Niraj K. Jha},
  title = {Wavesched: a novel scheduling technique for control-flow intensive
	behavioral descriptions},
  booktitle = {{ICCAD}},
  year = {1997},
  pages = {244-250},
  url = {citeseer.ist.psu.edu/lakshminarayana97wavesched.html}
}

@ARTICLE{recent_devel,
  author = {Y.-L. Lin},
  title = {{R}ecent developments in high-level synthesis},
  journal = {ACM Trans. Des. Autom. Electron. Syst.},
  year = {1997},
  volume = {vol. 2},
  pages = {2-21},
  number = {1},
  address = {New York, NY, USA},
  doi = {http://doi.acm.org/10.1145/250243.250245},
  issn = {1084-4309},
  publisher = {ACM Press}
}

@ARTICLE{mandal96design,
  author = {C. Mandal and P. Chakrabarti and S. Ghose},
  title = {{D}esign space exploration for data path synthesis},
  journal = {Proc. of the 10-th International Conference on VLSI Design},
  year = {1996},
  pages = {166-170},
  url = {citeseer.ist.psu.edu/392175.html}
}

@ARTICLE{gabind,
  author = {C. Mandal and P. P. Chakrabarti and S. Ghose},
  title = {{GABIND}: a {GA} approach to allocation and binding for the high-level
	synthesis of data paths},
  journal = {IEEE Trans. Very Large Scale Integr. Syst.},
  year = {2000},
  volume = {8},
  pages = {747-750},
  number = {6},
  address = {Piscataway, NJ, USA},
  doi = {http://dx.doi.org/10.1109/92.902270},
  issn = {1063-8210},
  publisher = {IEEE Educational Activities Department}
}

@ARTICLE{papa,
  author = {G. Papa and J. Silc},
  title = {{M}ulti-{O}bjective {G}enetic {S}cheduling {A}lgorithm with {R}espect
	to {A}llocation in {H}igh-{L}evel {S}ynthesis.},
  journal = {Proceedings of the 26th Euromicro Conference},
  year = {2000},
  pages = {339-346},
  ee = {http://csdl.computer.org/comp/proceedings/euromicro/2000/0780/01/07801339abs.htm}
}

@ARTICLE{Linear,
  author = {C. A. Papachristou and H. Konuk},
  title = {A linear program driven scheduling and allocation method followed
	by an interconnect optimization algorithm},
  journal = {Proceedings of the 27th ACM/IEEE conference on Design automation},
  year = {1990},
  pages = {77-83},
  address = {New York, NY, USA},
  doi = {http://doi.acm.org/10.1145/123186.123231},
  isbn = {0-89791-363-9},
  location = {Orlando, Florida, United States},
  publisher = {ACM Press}
}

@INPROCEEDINGS{FDS-Dac-87,
  author = {P. G. Paulin and J. P. Knight},
  title = {Force-Directed Scheduling in Automated Data Path Synthesis},
  booktitle = {Design Automation Conference},
  year = {1987}
}

@INPROCEEDINGS{Pilato2007Fitness,
  author = {C. Pilato and G. Palermo and A. Tumeo and F.
	Ferrandi and P. L. Lanzi and D. Sciuto},
  title = {Fitness Inheritance in Evolutionary and Multi-Objective High-Level
	Synthesis},
  booktitle = {IEEE Proceedings of CEC 2007 - Congress on Evolutionary Computation},
  year = {2007},
  location = {Singapore},
  owner = {daniele},
  timestamp = {2007.12.12}
}

@ARTICLE{brewer,
  author = {I. P. Radivojevic and F. Brewer},
  title = {A new symbolic technique for control-dependent scheduling.},
  journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
  year = {1996},
  volume = {15},
  pages = {45-57},
  number = {1},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://doi.ieeecomputersociety.org/10.1109/43.486271}
}

@INPROCEEDINGS{rim_optimal,
  author = {M. Rim and R. Jain and R. De Leone},
  title = {Optimal allocation and binding in high-level synthesis},
  booktitle = {Proc. DAC '92 Conference},
  year = {1992},
  pages = {120--123}
}

@INPROCEEDINGS{CompilerDefacto,
  author = {Byoungro So and Mary W. Hall and Pedro C. Diniz},
  title = {A compiler approach to fast hardware design space exploration in
	{FPGA}-based systems},
  booktitle = {Proc. PLDI '02 Conference},
  year = {2002},
  pages = {165--176}
}

@ARTICLE{srinivas94multiobjective,
  author = {N. Srinivas and K. Deb},
  title = {Multiobjective {O}ptimization {U}sing {N}ondominated {S}orting in
	{G}enetic {A}lgorithms},
  journal = {Evolutionary Computation},
  year = {1994},
  volume = {vol. 2},
  pages = {221-248},
  number = {3},
  url = {citeseer.ist.psu.edu/srinivas94multiobjective.html}
}

@ARTICLE{stok,
  author = {L. Stok},
  title = {{D}ata {P}ath {S}ynthesis},
  journal = {Integration, the VLSI Journal},
  year = {1994},
  volume = {vol. 18},
  pages = {1-71},
  number = {1},
  issn = {0167-9260}
}

@INPROCEEDINGS{ComparativeStudy,
  author = {Y. D. Yankova and K.L.M. Bertels and S. Vassiliadis and R. J. Meeuws
	and A.J.R. Virginia},
  title = {Automated {HDL} Generation: Comparative Evaluation},
  booktitle = {Proceedings of International Symposium on Circuits and Systems (ISCAS2007)},
  year = {2007},
  month = {May }
}

@INPROCEEDINGS{Gajski,
  author = {Zhu, J. and Gajski, D.},
  title = {A unified formal model of {ISA} and {FSMD}},
  booktitle = {Proc. {CODES}'99 Workshop},
  year = {1999},
  pages = {121--125},
  address = {Rome, Italy},
  abstract = {In this paper, we develop a formal framework to widen the scope of
	retargetable compilation. The goal is achieved by the unification
	of architectural models for both the processor architecture and the
	ASIC architecture. This framework enables the unified treatment of
	code generation and behavioral synthesis, and is being used in our
	experimental codesign environment to drive system-on-a-chip synthesis
	from an object oriented language},
  doi = {10.1109/HSC.1999.777405},
  keywords = {application specific integrated circuits, finite state machines, formal
	specification, hardware-software codesign, instruction sets, object-oriented
	languages, program compilers}
}

@ARTICLE{zitzler99comparison,
  author = {E. Zitzler and K. Deb and L. Thiele},
  title = {Comparison of Multiobjective Evolutionary Algorithms: Empirical Results},
  journal = {{E}volutionary {C}omputation},
  year = {2000},
  volume = {8},
  pages = {173--195},
  number = {2}
}

@ARTICLE{blind,
  title = {(reference omitted for blind review)}
}

@UNPUBLISHED{GCC,
  title = {{GCC} - {GNU} {C}ompiler {C}ollection},
  url = {#http://gcc.gnu.org#}
}

@MISC{panda,
  title = {Pand{A} framework, available at http://trac.elet.polimi.it/panda}
}

@inproceedings{Palesi,
 author = {M. Palesi and T. Givargis},
 title = {Multi-objective design space exploration using genetic algorithms},
 booktitle = {Proc. {CODES}'02 Workshop},
 year = {2002},
 isbn = {1-58113-542-4},
 pages = {67--72},
 location = {Estes Park, Colorado},
 doi = {http://doi.acm.org/10.1145/774789.774804},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{ETH,
 author = {J. Teich and T. Blickle and L. Thiele},
 title = {An evolutionary approach to system-level synthesis},
 booktitle = {Proc. {CODES}'97 Workshop},
 year = {1997},
 isbn = {0-8186-7895-X},
 pages = {167}
 }


